Wolfram Research - PDFSEARCH.IO - Document Search Engine

Wolfram Research
Results: 176

#	Item
11	The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine, Bart Jacobs, Manuel F¨ahndrich, K. Rustan M. Leino, Wolfram Schulte, and Herman Venter Microsoft Research, Redmond, WA, USA mbarnett,r Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:02
12	The BUILDING STRONG FAMILIES PROJECT Strengthening Unmarried Parents’ Relationships: The Early Impacts Add to Reading List Source URL: www.becomingparents.com Language: English - Date: 2010-10-14 19:20:08 Software Application software Mathematical software Relationship education United States Department of Health and Human Services Building Strong Families Program John Gottman Mathematica Policy Research MDRC Wolfram Mathematica
13	Prvi koraki v Mathematici Kaj je Mathematica Mathematica je sistem za numerično in simbolno računanje. Mathematico je zasnoval Stephen Wolfram, danes pa jo razvija in prodaja njegovo podjetje Wolfram Research iz ZDA. M Add to Reading List Source URL: www.andrej.com Language: Slovenian - Date: 2010-06-11 17:13:34
14	Local Verification of Global Invariants in Concurrent Programs Ernie Cohen1 , Michal Moskal2 , Wolfram Schulte2 , Stephan Tobies1 1 European Microsoft Innovation Center, Aachen Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-03-25 16:52:29
15	June 2015 Dear Student, On behalf of Wolfram Research, congratulations on your participation in the 2015 American Regions Math League! We are pleased to support this competition by offering you a complimentary Mathematic Add to Reading List Source URL: arml.com Language: English - Date: 2015-06-23 08:14:31
16	VCC: A Practical System for Verifying Concurrent C Ernie Cohen1 , Markus Dahlweid2 , Mark Hillebrand3 , Dirk Leinenbach3 , Michal Moskal2 , Thomas Santen2 , Wolfram Schulte4 , and Stephan Tobies2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-06-10 13:16:41
17	Mathematica 8 (Windows) Installation manual for Mathematica with a Single Machine License  Add to Reading List Source URL: www.u.tsukuba.ac.jp Language: English - Date: 2012-11-02 04:02:38 Wolfram Research Cross-platform software Mathematica Numerical software Double-click ActiveX Dialog box Software Mathematical software Application software
18	Cellular Automata and the Mechanisms of Nature Based on Chapter 2: The Crucial Experiment, from A New Kind of Science by Stephen Wolfram If a cell and its neighbors look like this at one step Cellular automata are exampl Add to Reading List Source URL: www.wolframscience.com Language: English - Date: 2005-05-25 10:34:56 Science Cellular automaton Rule 30 Mathematics A New Kind of Science Rule 90 Pattern Stephen Wolfram Rule 184 Cellular automata Wolfram Research Systems theory
19	ART PROGRAMME New Karolinska Solna University Hospital ART PROGRAMME New Karolinska Solna University Hospital Add to Reading List Source URL: www.nyakarolinskasolna.se Language: English - Date: 2014-10-20 05:20:14 Stockholm urban area A New Kind of Science Cellular automata Wolfram Research Stockholm The New Karolinska Solna University Hospital Geography of Sweden Stockholm County Geography of Europe
20	Mathematica 8 (Windows) Installation manual for Mathematica under the Comprehensive Program for the Network License  Add to Reading List Source URL: www.u.tsukuba.ac.jp Language: English - Date: 2012-11-01 22:49:12 Wolfram Research Cross-platform software Mathematica Numerical software ActiveX Double-click Mathematical software Software Application software

UPDATE